2026-06-09
2026-05-27
2026-05-15
6月6日上午，南京航空航天大学陈钢教授应邀做客三元名家论坛，为师生作题为“Pella：一个带类型的高层硬件描述语言”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。讲座中，陈钢教授介绍Pella——一个嵌入Coq定理证明器的硬件描述基础设施。Pella的核心创新是使用依赖类型将位宽、索引边界和控制流完整性直接编码到类型签名中，实现“错误前移”（Error Front-Loading）：将错误捕获从仿真/综合阶段提前到编...
6月6日上午，中国科学院软件研究所吴志林研究员应邀做客三元名家论坛，为师生作题为“大语言模型赋能形式化验证：机遇与挑战”的专题讲座，院长童向荣教授、科研骨干教师及在校研究生共同参与。讲座中，吴志林研究员对大语言模型给形式化验证带来的机遇和挑战进行分析梳理，并介绍中科院软件所基础软件验证研究室在该领域的最新的研究进展，包括大语言模型赋能约束求解，大语言模型赋能模型检测，大语言模型赋能程序终止性分...
2026年6月6日，烟台大学计算机与控制工程学院举办“两校名师讲堂”，特邀北京大学计算机学院詹乃军教授，作了题为“国产多核实时操作系统微内核形式验证”的学术讲座，院长童向荣、学院科研骨干教师及部分研究生代表参加。讲座中，詹乃军教授介绍了近年完成的一个某国产多核实时操作系统微内核形式验证工作。验证的核心模块包括：任务管理与调度、中断和异常处理、任务同步与通信、核间通信与动态重构、时钟管理、权能访问控制...
4月29日，由我院主办的ESI高被引论文深度解析专题培训活动顺利举行。本次活动以“解码高被引论文，提升学术影响力”为主题，特邀科睿唯安解决方案专家危期老师主讲，学院副院长郑强主持，相关教师及研究生积极参与。危期老师系统阐述了高被引论文定义与指标细节、ESI学科视角下的高被引论文，以及“全球高被引科学家”榜单方法论。她重点介绍了高被引论文的更新频率与阈值、基于ESI高被引论文识别前沿热点路径，以及科睿唯安“...
烟台大学
